TAGs: synthetic division